#ifndef SCHEDULER_H_
#define SCHEDULER_H_

#include <types.h>
#include <process.h>

extern thread_t *g_current_user_thread;
extern byte g_current_quantum;

int init_scheduler(void);
void dispatcher(void);
void scheduler(thread_t *thread, byte priority);

#endif /*SCHEDULER_H_*/
